|
|
Elektronický snímač letových parametrů.
Harant, Josef ; Fedra, Zbyněk (oponent) ; Šebesta, Jiří (vedoucí práce)
Tato diplomová práce se zabývá teoretickým rozborem a praktickým řešením návrhu elektronického snímače letových parametrů. Zařízení je primárně určeno pro měření telemetrických dat při letecké akrobacii. Teoretická část obsahuje základy GPS navigace a inerciálních navigačních systémů. Návrh zařízení je rozdělen do tří hlavních částí, které popisují návrh blokové struktury, konstrukční části a softwarového vybavení měřícího zařízení. Realizace byla provedena s ohledem na splnění minimálních požadavků systému a možnosti budoucího rozšíření pro širší spektrum využití.
|
|
|
Jízdní dynamika traktoru
Renza, Jaroslav ; Bradáč, Albert (oponent) ; Panáček, Vladimír (vedoucí práce)
Tato diplomová práce se zabývá rozborem jízdní dynamiky traktorů v závislosti na jejich hmotnosti a stáří. V úvodní části se práce zabývá stručnou historií vývoje a teoreticky definuje základní koncepci rozboru traktoru. Dále práce obsahuje postupy při zjišťování jednotlivých veličin potřebných k určení jízdní dynamiky. Experimentální část rozebírá průběh realizovaného měření na vybraném vzorku traktorů a interpretuje naměřené hodnoty. Závěrečná analogie se zabývá vyhodnocením provedeného měření a údajů z těchto měření zjištěných.
|
|
| |
|
|
Knihovna pro zpracování obrazu v GPU
Čermák, Michal ; Španěl, Michal (oponent) ; Smrž, Pavel (vedoucí práce)
Tato práce se zabývá architekturou grafických karet Nvidia a s ní související programátorské rozhranní CUDA, které je využito při tvorbě knihovny akcelerující algoritmy zpracování obrazu. Velký důraz je kladen na testování výkonnostního zisku oproti optimalizované a používané knihovně OpenCV.
|
|
|
Jízdní vlastnosti čtyřkolek
Příplatová, Miroslava ; Krejsa, Ivan (oponent) ; Semela, Marek (vedoucí práce)
Diplomová práce se zabývá jízdními vlastnostmi čtyřkolek. Popisuje jejich konstrukci, jízdní vlastnosti a specifikace jízdy na nich. V rámci této práce bylo provedeno měření brzdění, akcelerace, příčného přemístění čtyřkolek a následné vyhodnocení těchto dat. Změřené hodnoty mohou být použity pro práci soudních znalců a analytiků dopravních nehod.
|
|
|
Vliv ESP/ESC na chování vozidla
Weigel, Filip ; Mrázek, Vojtěch (oponent) ; Strnadel, Josef (vedoucí práce)
Práce se zabývá aktivním prvkem bezpečnosti vozidel - ESP. Systém ESP velmi významně pomáhá se stabilizací vozidla při zatáčení. Práce rozebírá modelování, princip fungování brzd, popis podřízených systémů - ABS a ASR, fyzikální jevy a síly, vzorový příklad, rozbor problému, návrh modelu, implementaci modelu a vyhodnocení experimentů s modelem v prostředí UPPAAL. Cílem práce je prokázat, že systém ESP pomáhá stabilizovat vozidlo při zatáčení pomocí simulačního modelu vozidla. Výsledky jsou prezentány v přehledných grafech. Z grafů lze analyzovat chování vozidla s ESP a bez ESP.
|
|
|
Akcelerované neuronové sítě na grafické kartě
Tomko, Martin ; Zachariášová, Marcela (oponent) ; Krčma, Martin (vedoucí práce)
Tato práce se věnuje implementaci aplikace pro simulaci neuronových sítí a její akceleraci za využití grafického procesoru. Aplikace se zaměřuje především na sítě typu Feedforward a jejich učení algoritmem Backpropagation, podporuje však i jiné typy sítí a umožňuje rozšíření o další učící algoritmy. Aplikace také umožňuje zavést do sítě různé poruchy struktury, což je možné využít pro testování odolnosti neuronových sítí vůči poruchám. Práce je implementována v jazyce C++ za využití OpenCL pro výpočty na GPU. Výsledky akcelerace učení algoritmem Backpropagation byly porovnány s volně dostupnou knihovnou FANN.
|
|
|
Relational Verification of Programs with Integer Data
Konečný, Filip ; Bouajjani, Ahmed (oponent) ; Jančar, Petr (oponent) ; Vojnar, Tomáš (vedoucí práce)
This work presents novel methods for verification of reachability and termination properties of programs that manipulate unbounded integer data. Most of these methods are based on acceleration techniques which compute transitive closures of program loops. We first present an algorithm that accelerates several classes of integer relations and show that the new method performs up to four orders of magnitude better than the previous ones. On the theoretical side, our framework provides a common solution to the acceleration problem by proving that the considered classes of relations are periodic. Subsequently, we introduce a semi-algorithmic reachability analysis technique that tracks relations between variables of integer programs and applies the proposed acceleration algorithm to compute summaries of procedures in a modular way. Next, we present an alternative approach to reachability analysis that integrates predicate abstraction with our acceleration techniques to increase the likelihood of convergence of the algorithm. We evaluate these algorithms and show that they can handle a number of complex integer programs where previous approaches failed. Finally, we study the termination problem for several classes of program loops and show that it is decidable. Moreover, for some of these classes, we design a polynomial time algorithm that computes the exact set of program configurations from which nonterminating runs exist. We further integrate this algorithm into a semi-algorithmic method that analyzes termination of integer programs, and show that the resulting technique can verify termination properties of several non-trivial integer programs.
|
|
|
Hardware acceleration of object detection in images
Musil, Petr ; Chalmers, Alan (oponent) ; Kadlec, Jiří (oponent) ; Zemčík, Pavel (vedoucí práce)
Nowadays, an increasing number of cameras and surveillance systems can be observed. The amount of information that these devices produce is enormous, and it is not in human power to process it all, therefore using computing power is needed. Modern computer vision algorithms, especially object detection, already achieve excellent results. One of the disadvantages of current vision algorithms is high computational complexity. Therefore, it is desired to implement these algorithms into a suitable device with better performance to power ratio. FPGA represents a reliable option due to its parallel and power-efficient computing. This dissertation aims to propose methods for optimising the object detector in an image running on an FPGA. These detectors use boosted soft cascades of classifiers with local image feature like weak classifiers. The proposed detectors use sequential evaluation of weak classifiers. More positions in the image are evaluated in parallel to increase the detection performance. Also, a new approach for multiscale object detection is proposed; its advantage is no need for external memory. The new detectors were experimentally verified on the tasks of detecting faces and license plates. The results outperform the current state-of-the-art, allow to create object detectors with higher detection performance, better power to resources ratio and better detection accuracy.
|
|
|
Akcelerace neuronových sítí v FPGA
Krčma, Martin ; Vašíček, Zdeněk (oponent) ; Kaštil, Jan (vedoucí práce)
Tato práce se zabývá problematikou akcelerace výpočtu neuronových sítí skrze jejich implementaci v programovatelných hradlových polích FPGA. Práce představuje dvě různé hardwarové implementace neuronových sítí, které porovnává mezi sebou a s volně dostupnou softwarovou implementací. Dále práce představuje nástroje usnadňující VHDL implementaci neuronových sítí.
|
host ::
RSS.